1061. agent systems-Argumentation in multi
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Intelligent agents (Computer software) ; Congresses. ; Logic ; Congresses. ;
1062. agent systems-Argumentation in multi
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Intelligent agents (Computer software) ; Congresses. ; Logic ; Congresses. ;
1063. agent systems-Computational logic in multi
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
1064. agent systems-Computational logic in multi
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
1065. agent systems-Computational logic in multi
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ; Mehragentensystem. ; swd. ; Computational logic. ; swd. ;
1066. neural networks, fuzzy logic, and genetic algorithms
المؤلف: / s. rajasekaran & g.a. vijayalakshni pai
المکتبة: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع: Intelligent control systems,Fuzzy logic,Neural networks (Computer science),Genetic algorithms
رده :
TJ217
.
5
.
R2N4
2007
1067. 6800 programming for logic design
المؤلف: Osborne, Adam.
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Logic design,، MC0086 )Computer(- Programming,، Microcomputers- Programming,، Assembler language )Computer program language(
1068. programs-as-Adapting proofs
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry
1069. 5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980
المؤلف: edited by Wolfgang Bibel, Robert Kowalski.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer science.,Mathematical Logic and Formal Languages
1070. λ-Calculus and Computer Science Theory :
المؤلف: edited by C. Böhm. B�ohm, C.,
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic, Symbolic and mathematical.
رده :
QA9
.
5
E358
1975
1071. طراحی دیجیتال
المؤلف: / انتشارات نص
المکتبة: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,Logic design,مدارهای مجتمع رقمی,Digital integrated circuits, -- مدارها, -- Circuits,a09,a09,a11,a11,a13,a13,a15,a15
رده :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴۵ ۱۳۸۸
1072. طراحی دیجیتال
المؤلف: / انتشارات نص
المکتبة: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,Logic design,مدارهای مجتمع رقمی,Digital integrated circuits, -- مدارها, -- Circuits,a09,a11,a13,a15
رده :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴۵ ۱۳۸۸
1073. طراحی دیجیتال (مدار منطقی)
المؤلف: / انتشارات خراسان
المکتبة: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,Logic design,مدارهای مجتمع رقمی,Digital integrated circuits, -- مدارها, -- Circuits,a09,a09,a11,a11,a13,a13,a15,a15
رده :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴۱ ۱۳۸۹
1074. طراحی دیجیتال (مدار منطقی)
المؤلف: / موریس مانو,مانو
المکتبة: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,مدارهای مجتمع رقمی,Digital integrated circuits, -- مدارها, -- Circuits,a06,a06,a08,a08,a11,a11
رده :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴ ۱۳۸۱
1075. طراحی دیجیتال (مدار منطقی)
المؤلف: / موریس مانو,مانو
المکتبة: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,مدارهای مجتمع رقمی,Digital integrated circuits, -- مدارها, -- Circuits,a06,a06,a08,a08,a11,a11
رده :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴ ۱۳۸۶
1076. طراحی دیجیتال (مدار منطقی)
المؤلف: / انتشارات خراسان
المکتبة: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,Logic design,مدارهای مجتمع رقمی,Digital integrated circuits, -- مدارها, -- Circuits,a09,a11,a13,a15
رده :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴۱ ۱۳۸۹
1077. طراحی دیجیتال مدار منطقی
المؤلف: / موریس مانو، میشل چیلتی,مانو
المکتبة: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,Logic design,مدارهای مجتمع رقمی,Digital integrated circuits, -- مدارها, -- Circuits,a06,a06,a08,a08,a09,a09,a12,a12
رده :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴ ۱۳۸۷
1078. طراحی دیجیتال (مدارهای منطقی)
المؤلف: / انتشارات علوم رایانه
المکتبة: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,Logic design,مدارهای مجتمع رقمی,Digital integrated circuits, -- مدارها, -- Circuits,a09,a11,a13,a15
رده :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴ ۱۳۸۶
1079. طراحی دیجیتال (مدارهای منطقی)
المؤلف: / انتشارات علوم رایانه
المکتبة: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,Logic design,مدارهای مجتمع رقمی,Digital integrated circuits, -- مدارها, -- Circuits,a09,a09,a11,a11,a13,a13,a15,a15
رده :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴ ۱۳۸۶
1080. طراحی دیجیتال(مدار منطقی)
المؤلف: / موریس مانو,مانو,مانو,مانو
المکتبة: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,مدارهای مجتمع رقمی, -- مدارها, -- Circuits,a06,a06,a08,a08
رده :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴۱